/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package simhya.model.store.jepstore;
import java.util.ArrayList;
import simhya.matheval.SymbolArray;
import simhya.model.store.Store;
import simhya.model.store.Predicate;

/**
 *
 * @author Luca
 */
public class GenericPredicate implements Predicate {
    private int ID;
    private Store store;

    public GenericPredicate(int ID, Store store) {
        this.ID = ID;
        this.store = store;
    }

    public boolean evaluate() {
        return store.evaluatePredicate(ID);
    }

    public boolean evaluate(SymbolArray vars) {
        throw new UnsupportedOperationException("Not supported yet.");
    }

    public ArrayList<Integer> getVariableList() {
        return store.getVariableListOfPredicate(ID);
    }

    public void initialize() {  }

    public boolean isContradiction() {
        return false;
    }

    public boolean isTautology() {
        return false;
    }






}
